Optimal. Leaf size=53 \[ -\frac {1}{x}+\frac {x \left (9+11 x^2\right )}{4 \left (2+3 x^2+x^4\right )}-\frac {19}{2} \tan ^{-1}(x)+\frac {45 \tan ^{-1}\left (\frac {x}{\sqrt {2}}\right )}{4 \sqrt {2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 53, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 3, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.097, Rules used = {1683, 1678,
209} \begin {gather*} -\frac {19 \text {ArcTan}(x)}{2}+\frac {45 \text {ArcTan}\left (\frac {x}{\sqrt {2}}\right )}{4 \sqrt {2}}+\frac {x \left (11 x^2+9\right )}{4 \left (x^4+3 x^2+2\right )}-\frac {1}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 1678
Rule 1683
Rubi steps
\begin {align*} \int \frac {4+x^2+3 x^4+5 x^6}{x^2 \left (2+3 x^2+x^4\right )^2} \, dx &=\frac {x \left (9+11 x^2\right )}{4 \left (2+3 x^2+x^4\right )}-\frac {1}{4} \int \frac {-8+19 x^2-11 x^4}{x^2 \left (2+3 x^2+x^4\right )} \, dx\\ &=\frac {x \left (9+11 x^2\right )}{4 \left (2+3 x^2+x^4\right )}-\frac {1}{4} \int \left (-\frac {4}{x^2}+\frac {38}{1+x^2}-\frac {45}{2+x^2}\right ) \, dx\\ &=-\frac {1}{x}+\frac {x \left (9+11 x^2\right )}{4 \left (2+3 x^2+x^4\right )}-\frac {19}{2} \int \frac {1}{1+x^2} \, dx+\frac {45}{4} \int \frac {1}{2+x^2} \, dx\\ &=-\frac {1}{x}+\frac {x \left (9+11 x^2\right )}{4 \left (2+3 x^2+x^4\right )}-\frac {19}{2} \tan ^{-1}(x)+\frac {45 \tan ^{-1}\left (\frac {x}{\sqrt {2}}\right )}{4 \sqrt {2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 51, normalized size = 0.96 \begin {gather*} \frac {1}{8} \left (-\frac {8}{x}+\frac {2 x \left (9+11 x^2\right )}{2+3 x^2+x^4}-76 \tan ^{-1}(x)+45 \sqrt {2} \tan ^{-1}\left (\frac {x}{\sqrt {2}}\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.03, size = 43, normalized size = 0.81
method | result | size |
default | \(-\frac {x}{2 \left (x^{2}+1\right )}-\frac {19 \arctan \left (x \right )}{2}-\frac {1}{x}+\frac {13 x}{4 \left (x^{2}+2\right )}+\frac {45 \arctan \left (\frac {\sqrt {2}\, x}{2}\right ) \sqrt {2}}{8}\) | \(43\) |
risch | \(\frac {\frac {7}{4} x^{4}-\frac {3}{4} x^{2}-2}{x \left (x^{4}+3 x^{2}+2\right )}+\frac {45 \arctan \left (\frac {\sqrt {2}\, x}{2}\right ) \sqrt {2}}{8}-\frac {19 \arctan \left (x \right )}{2}\) | \(46\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.50, size = 45, normalized size = 0.85 \begin {gather*} \frac {45}{8} \, \sqrt {2} \arctan \left (\frac {1}{2} \, \sqrt {2} x\right ) + \frac {7 \, x^{4} - 3 \, x^{2} - 8}{4 \, {\left (x^{5} + 3 \, x^{3} + 2 \, x\right )}} - \frac {19}{2} \, \arctan \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 68, normalized size = 1.28 \begin {gather*} \frac {14 \, x^{4} + 45 \, \sqrt {2} {\left (x^{5} + 3 \, x^{3} + 2 \, x\right )} \arctan \left (\frac {1}{2} \, \sqrt {2} x\right ) - 6 \, x^{2} - 76 \, {\left (x^{5} + 3 \, x^{3} + 2 \, x\right )} \arctan \left (x\right ) - 16}{8 \, {\left (x^{5} + 3 \, x^{3} + 2 \, x\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.09, size = 49, normalized size = 0.92 \begin {gather*} \frac {7 x^{4} - 3 x^{2} - 8}{4 x^{5} + 12 x^{3} + 8 x} - \frac {19 \operatorname {atan}{\left (x \right )}}{2} + \frac {45 \sqrt {2} \operatorname {atan}{\left (\frac {\sqrt {2} x}{2} \right )}}{8} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 3.30, size = 45, normalized size = 0.85 \begin {gather*} \frac {45}{8} \, \sqrt {2} \arctan \left (\frac {1}{2} \, \sqrt {2} x\right ) + \frac {7 \, x^{4} - 3 \, x^{2} - 8}{4 \, {\left (x^{5} + 3 \, x^{3} + 2 \, x\right )}} - \frac {19}{2} \, \arctan \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.07, size = 45, normalized size = 0.85 \begin {gather*} \frac {45\,\sqrt {2}\,\mathrm {atan}\left (\frac {\sqrt {2}\,x}{2}\right )}{8}-\frac {19\,\mathrm {atan}\left (x\right )}{2}-\frac {-\frac {7\,x^4}{4}+\frac {3\,x^2}{4}+2}{x^5+3\,x^3+2\,x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________